Juan Jose Moreno-Navarro: шукати на сайті Z-Library

Пожертвування 15 вересня 2024 – 1 жовтня 2024 Про збір коштів

Найбільша колекція наукових статей у сіті. 70,000,000+ безкоштовних статей.

Пожертвування 15 вересня 2024 – 1 жовтня 2024

Z-Library - одна з найбільших онлайн-бібліотек у світі, в якій зберігається більше 17,000,000 книг та 84,837,000 статей. Ми намагаємось зробити літературу доступною кожному. Сьогодні (15 вересня 2024) ми відкриваємо додатковий збір пожертвувань на підтримку та розвиток проекту.

Також БЕЗЛІМТНІ завантаження (протягом 31 дня після завершення пожертвування) доступні для ВСІХ користувачів, які підтримають проект в період збору коштів до 1 жовтня 2024.

Про збір коштів Детальніше

Підтримати

Книги
Статті (11)
Найпопулярніші
Перелік
- Перелік
- Таблиця

1

Logic programming with functions and predicates: The language Babel

Juan Jose Moreno-Navarro, Mario Rodriguez-Artalejo

Журнал:

The Journal of Logic Programming

Рік:

1992

Мова:

english

Файл:

PDF, 2.04 MB

english, 1992

2

The functional logic language BABEL and its implementation on a graph machine

Herbert Kuchen, Rita Loogen, Juan José Moreno-Navarro, Mario Rodríguez-Artalejo

Журнал:

New Generation Computing

Рік:

1996

Мова:

english

Файл:

PDF, 1.88 MB

english, 1996

3

Extending Constructive Logic Negation with Types

Susana Munoz-Hernandez, Juan José Moreno-Navarro

Журнал:

Electronic Notes in Theoretical Computer Science

Рік:

2009

Мова:

english

Файл:

PDF, 376 KB

english, 2009

4

A Coding Rule Conformance Checker Integrated into GCC

Guillem Marpons, Julio Mariño, Manuel Carro, Ángel Herranz, Lars-Åke Fredlund, Juan José Moreno-Navarro, Álvaro Polo

Журнал:

Electronic Notes in Theoretical Computer Science

Рік:

2009

Мова:

english

Файл:

PDF, 245 KB

english, 2009

5

Implementing Constructive Intensional Negation

Julio Mariño, Juan José Moreno-Navarro, Susana Munoz-Hernandez

Журнал:

New Generation Computing

Рік:

2008

Мова:

english

Файл:

PDF, 655 KB

english, 2008

6

Preface

Lars-Henrik Eriksson, Juan José Moreno-Navarro

Журнал:

Computer Languages

Рік:

1997

Мова:

english

Файл:

PDF, 96 KB

english, 1997

7

[ACM Press the ACM SIGPLAN workshop - Victoria, BC, Canada (2008.09.20-2008.09.20)] Proceedings of the ACM SIGPLAN workshop on Generic programming - WGP '08 - Bialgebra views

Nogueira, Pablo, Moreno-Navarro, Juan José

Рік:

2008

Мова:

english

Файл:

PDF, 353 KB

english, 2008

8

[IEEE 2014 First International Conference on eDemocracy & eGovernment (ICEDEG) - Quito, Ecuador (2014.4.24-2014.4.25)] 2014 First International Conference on eDemocracy & eGovernment (ICEDEG) - On the role of R&D in e-government in Ecuador: Strategic plan in ICT for Ecuador in the field of information society and e-government

Moreno-Navarro, Juan Jose, Munive, Jaime Albuja, Alonso Montes, Jose Ignacio, Ibujes Villacis, Juan Marcelo, Casas Jimenez, Carlos Miguel, Urquiza Suarez, Juan Carlos

Рік:

2014

Мова:

english

Файл:

PDF, 2.89 MB

english, 2014

9

[ACM Press the 15th Symposium - Madrid, Spain (2013.09.16-2013.09.18)] Proceedings of the 15th Symposium on Principles and Practice of Declarative Programming - PPDP '13 - Deriving the full-reducing Krivine machine from the small-step operational semantics of normal order

García-Pérez, Álvaro, Nogueira, Pablo, Moreno-Navarro, Juan José

Рік:

2013

Мова:

english

Файл:

PDF, 1.70 MB

english, 2013

10

Workshop on Integration of Declarative Paradigms

Moreno-Navarro, Juan José

Журнал:

The Knowledge Engineering Review

Рік:

1995

Мова:

english

Файл:

PDF, 437 KB

english, 1995

11

Demand analysis with partial predicates

MARIÑO, JULIO, HERRANZ, ÁNGEL, MORENO-NAVARRO, JUAN JOSÉ

Журнал:

Theory and Practice of Logic Programming

Рік:

2007

Мова:

english

Файл:

PDF, 208 KB

english, 2007